1

Truth maintenance systems and their application for verifying Expert System Knowledge Bases

Année:
1992
Langue:
english
Fichier:
PDF, 2.17 MB
english, 1992
2

State of the art in automated validation of knowledge-based systems

Année:
1994
Langue:
english
Fichier:
PDF, 1.80 MB
english, 1994
4

A refinement framework to support validation and maintenance of knowledge-based systems

Année:
1998
Langue:
english
Fichier:
PDF, 86 KB
english, 1998
5

Verification of non-monotonic knowledge bases

Année:
1997
Langue:
english
Fichier:
PDF, 93 KB
english, 1997